/*----------- diff table -----------------------------------*/
div.diff h2 {
    /*font-size:100%;*/    
    padding:0.2em 0.2em 3px 0px;
    float:left;
    clear:left;
    width:9em;
    text-align:right;
}
div.diff table.nav {
    width:80%;
    float:left;
    margin-left:4.6em;
    -moz-border-radius:4px 4px 4px 4px;
}

/* hidden from IE6.0 */
div.diff > table.nav {
    margin-left:9.2em;
}



div.diff table.nav td.older {
    background-color:#FFFFC7;
    border:1px solid #F6F6A0;
    margin-right:2px;
    width:50%;
    text-align:right;
    padding-right:5px;
}

div.diff table.nav a {
    color:#C70000;
    margin-right:9px;
    padding-right:10px;
    margin-left:2px;
    text-decoration:none;
    /*font-size:90%;*/
}

div.diff table.nav a:hover {
    text-decoration:underline;
}

div.diff table.nav td.older a {
    float:left;

}

div.diff table.nav td.newer {
    background-color:#FFFFC7;
    border:1px solid #F6F6A0;
    width:50%;
    padding-left:5px;
    text-align:right;
}
div.diff table.nav td.newer select {
    float:left;
}


table.diff  {
    width:80%;
    float:left;
}

table.diff td{
    width:50%;
    /*font-size:80%;*/
    /*font-family:"Verdana";*/
    vertical-align:top;
    padding:2px;
    -moz-border-radius:3px;
}

table.diff td.add{
    background-color:#cfc;
}

table.diff td.deleted{
    background-color:#FFCCCC;
    color:#A60000;
    text-decoration:line-through;
}

table.diff td.changed{
    background-color:#FBDD88;
    color:#936B34;
}


table.diff td.changed span.changed{
    font-weight:bold;
    color:#000;
}

table.diff td.changed span.add{
    font-weight:bold;
    color:#1D761D;
}

table.diff td.changed span.deleted{
    font-weight:bold;
    color:#D72727;
    text-decoration:line-through;
}

table.diff td.changed span.add_place{
    border-left:2px solid #fff;
    padding-right:2px;
}

table.diff td.changed span.delete_place{
    border-left:2px solid #fff;
    padding-right:2px;
}




table.diff td.copy{
    background-color:#ddd;
    color:#888;
}

table.diff td.neutral{
    background-color:#eee;
    color:#888;
}



